A Real-Time and Distributed System with Programming Language Abstraction
نویسندگان
چکیده
As processing and time requirements of computer systems increase over borders of single processor architectures, it is becoming more and more attractive to use distributed computing with additional real-time capabilities. In several cases, traditional programming languages have become insufficient to build distributed systems easily, especially when real-time issues and basic software quality factors such as reliability, correctness, robustness, ease of design, development, testing and maintenance are concerned. In this paper basic issues relevant to distributed systems are reviewed, a concurrent, object-oriented, real-time and distributed programming language, CORD-PL, with its supportive run-time system is introduced and its features are described. The new system provides an efficient solution for especially command and control systems by embedding distribution and real-time issues within the programming language structures.
منابع مشابه
The Interface Between Distributed Operating System and High-Level Programming Language
A distributed operating system provides a process abstraction and primitives for communication between processes. A distributed programming language regularizes the use of the primitives, making them both safer and more convenient. The level of abstraction of the primitives, and therefore the division of labor between the operating system and the language support routines, has serious ramificat...
متن کاملViPER – A Component-Based Approach for Designing Real-Time Systems
In this paper, we present a component-based approach for the development of distributed safetycritical real-time systems. The ViPER method is based on the synchronous approach for designing reactive systems and a time-triggered communication architecture. Synchronous software components consisting of a reactive and a transformational part are used to specify the behavior of the system. The reac...
متن کاملA mechanized verification environment for real-time process algebras and low-level programming languages
Nowadays, embedded and reactive real-time systems are often also distributed and operate in dynamically changing environments. Furthermore, these systems handle safety-critical tasks and therefore have to satisfy critical functional and non-functional requirements like, for example, real-time requirements. During development, such systems are often modeled on different levels of abstraction usi...
متن کاملTIlE INTERFACE BETWEEN DISTRIBUTED OPERATING SYSTEM AND HIGH-LEVEL PROGRAMMING LANGUAGE
A distributed operating system provides a process abstraction and primitives for communication between processes. A distributed programming language regularizes the use of the primitives. mating them bolh safer and more convenienL The level of abstraction of the primitives, and therefore the dh"ision of labor between the operating system and the language suppnn routines. has serious ramificatio...
متن کاملModeling and simulation of timing behavior with the Timing Definition Language ( TDL )
Most of the existing modeling methods and tools for embedded application development use levels of abstraction where execution and communication times of computational tasks are not adequately captured. Thus, properties such as time and value determinism, which are crucial for safety-critical real-time systems, cannot be guaranteed when refining the model to move it closer to a target platform....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999